#include <stdlib.h>
#include <syscall.h>

void exit(int status)
{
  quit(status);
}

void exit0()
{
  quit(0);
}
